COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
C⊗;
αXDEFINE ⊗↔
β↓β_α β¬β↓⊗↔αβ⊗↓

αXDEFINE ⊗↔
β↓β_α β_β↓αβ⊗↓

αXDEFINE U⊗↔
β↓β¬α β¬β↓⊗↔αβ⊗↓

αXDEFINE U⊗↔
β↓β_α β_β↓αβ⊗↓